Enciclopedia Universal. 2012.
Cálculo lambda — Artículo parcialmente traducido: Contiene texto en inglés. Ayuda a terminarlo. El cálculo lambda es un sistema formal diseñado para investigar la definición de función, la noción de aplicación de funciones y la recursión. Fue introducido por… … Wikipedia Español
Cálculo infinitesimal — Saltar a navegación, búsqueda El cálculo infinitesimal o cálculo de infinitesimales constituye una parte muy importante de la matemática moderna. Es normal en el contexto matemático, por simplificación, simplemente llamarlo cálculo. El cálculo,… … Wikipedia Español
Cálculo (desambiguación) — Saltar a navegación, búsqueda Cálculo puede referirse a: En Matemática: Cálculo infinitesimal es la rama base del análisis matemático. Se divide a su vez en: Cálculo diferencial Cálculo integral Cálculo, algoritmo mediante el cual se conocen las… … Wikipedia Español
Cálculo de antenas — Saltar a navegación, búsqueda Los ejemplos de cálculo de antenas que siguen sólo tienen por objeto mostrar el funcionamiento de algunos casos y el origen de la ganancia y de la impedancia. Los cálculos son aproximados y no tienen en cuenta, por… … Wikipedia Español
Cálculo de Construcciones — Saltar a navegación, búsqueda El Cálculo de Construcciones (CoC) es un lambda cálculo tipificado de alto nivel que contiene un álgebra de tipos. CoC permite definir funciones por ejemplo, de enteros en tipos, de tipos en tipos al igual que las… … Wikipedia Español
Cálculo tensorial — Un tensor de segundo orden, en tres dimensiones. En matemáticas y en física, un tensor es cierta clase de entidad algebraica de varias componentes, que generaliza los conceptos de escalar, vector y matriz de una manera que sea independiente de… … Wikipedia Español
Cálculo de Construcciones — El Cálculo de Construcciones (CoC) es un lambda cálculo tipificado de alto nivel que contiene un álgebra de tipos. CoC permite definir funciones por ejemplo, de enteros en tipos, de tipos en tipos al igual que las fuciones de enteros en enteros.… … Enciclopedia Universal
Teoría de lenguajes de programación — Lambda en minúsculas. La teoría de lenguajes de programación es una rama de la informática que se encarga del diseño, implementación, análisis, caracterización y clasificación de lenguajes de programación y sus características. Es un campo multi… … Wikipedia Español
Λ — Letras griegas Α α Alfa Β β Beta Γ γ Gamma Δ δ Delta Ε ε Épsilon Ζ ζ Dseda Η η Et … Wikipedia Español
Lógica combinatoria — La lógica combinatoria es la lógica última y como tal puede ser un modelo simplificado del cómputo, usado en la teoría de computabilidad (el estudio de qué puede ser computado) y la teoría de la prueba (el estudio de qué se puede probar… … Wikipedia Español
